On Dehn Functions of Finitely Presented Bi-Automatic Monoids
نویسنده
چکیده
For each automatic monoid the word problem can be solved in quadratic time (Campbell et al 1996), and hence, the Dehn function of a nitely presented automatic monoid is recursive. Here we show that this result on the Dehn function cannot be improved in general by presenting nitely presented bi-automatic monoids the Dehn functions of which realize arbitrary complexity classes that are suuciently rich.
منابع مشابه
Some Remarks on Nitely Presented Monoids with Automatic Structure
Groups with automatic structure (automatic groups for short) have recently received a lot of attention in the literature. They have been shown to have many nice properties, and consequently it has been asked whether these results can be carried over to monoids with automatic structure. Here we show that there exist nitely presented monoids with automatic structure that cannot be presented throu...
متن کاملFinitely presented monoids with linear Dehn function need not have regular cross-sections
This paper shows that a finitely presented monoid with linear Dehn function need not have a regular cross-section, strengthening the previously-known result that such a monoid need not be presented by a finite complete string rewriting system, and contrasting the fact that finitely presented groups with linear Dehn function always have regular cross-sections.
متن کاملA Countable Family of Finitely Presented Infinite Congruence-free Monoids
We prove that monoids Mon〈a, b, c, d : ab = 0, ac = 1, db = 1, dc = 1 dab = 1, dab = 1, . . . , dab = 1〉 are congruence-free for all n ≥ 1. This provides a new countable family of finitely presented congruence-free monoids, bringing one step closer to understanding the Boone–Higman Conjecture. We also provide examples which show that finitely presented congruence-free monoids may have quadratic...
متن کاملIsoperimetric and Isodiametric Functions of Groups
This is the first of two papers devoted to connections between asymptotic functions of groups and computational complexity. One of the main results of this paper states that if for every m the first m digits of a real number α ≥ 4 are computable in time ≤ C22Cm for some constant C > 0 then nα is equivalent (“big O”) to the Dehn function of a finitely presented group. The smallest isodiametric f...
متن کاملOn Regularity of Acts
In this article we give a characterization of monoids for which torsion freeness, ((principal) weak, strong) flatness, equalizer flatness or Condition (E) of finitely generated and (mono) cyclic acts and Condition (P) of finitely generated and cyclic acts implies regularity. A characterization of monoids for which all (finitely generated, (mono) cyclic acts are regular will be given too. We als...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Journal of Automata, Languages and Combinatorics
دوره 5 شماره
صفحات -
تاریخ انتشار 2000